Computable Analysis Over the Generalized Baire Space

One of the main goals of computable analysis is that of formalizing the complexity of theorems from real analysis. In this setting Weihrauch reductions play the role that Turing reductions do in standard computability theory. Via coding, we can transfer computability and topological results from the Baire space ω to any space of cardinality 2א0 , so that e.g. functions over R can be coded as functions over the Baire space and then studied by means of Weihrauch reductions. Since many theorems from analysis can be thought to as functions between spaces of cardinality 2א0 , computable analysis can then be used to study their complexity and to order them in a hierarchy. Recently, the study of the descriptive set theory of the generalized Baire spaces κ for cardinals κ > ω has been catching the interest of set theorists. It is then natural to ask if these generalizations can be used in the context of computable analysis. In this thesis we start the study of generalized computable analysis, namely the generalization of computable analysis to generalized Baire spaces. We will introduce Rκ, a Cauchy-complete real closed field of cardinality 2 with κ uncountable. We will prove that Rκ shares many features with R which have a key role in real analysis. In particular, we will prove that a restricted version of the intermediate value theorem and of the extreme value theorem hold in Rκ. We shall show that Rκ is a good candidate for extending computable analysis to the generalized Baire space κ. In particular, we generalize many of the most important representations of R to Rκ and we show that these representations are well-behaved with respect to the interval topology over Rκ. In the last part of the thesis, we begin the study of the Weihrauch hierarchy in this generalized context. We generalize some of the most important choice principles which in the classical case characterize the Weihrauch hierarchy. Then we prove that some of the classical Weihrauch reductions can be extended to these generalizations. Finally we will start the study of the restricted version of the intermediate value theorem which holds for Rκ from a computable analysis prospective.